abstract mathematical machine

[计] 抽象数学机